Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
481	IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 27, NO. 7, JULYKeynote Paper A Survey of Automated Techniques for Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2008-06-15 00:09:46 Computer programming Logic in computer science Model checkers Model checking Formal verification BLAST model checker Abstract interpretation Static program analysis Abstraction Computing Software engineering Formal methods
482	Electronic Notes in Theoretical Computer Science 66 NoURL: http://www.elsevier.nl/locate/entcs/volume66.html 31 pages Information Flow Security in Boxed Ambients Silvia Crafa1 Michele Bugliesi 1 Dipartimento d Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:58:08 Process calculi Ambient calculus Models of computation Deduction Theoretical computer science Propositional calculus Entailment Process calculus Valuation Logic Abstract algebra Mathematics
483	Binary Addition on Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:31:28 Propositional calculus Exclusive or Logic Binary numeral system Cellular automaton Logarithm Summation Mathematics Abstract algebra Boolean algebra
484	Self-timed circuitry for global clocking Scott Fairbanks Cambridge University Abstract We present an apparatus used to distribute a timing reference or clock across the extent of a digital sy Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2005-12-06 10:52:57 Digital electronics Logic families Clock signal CMOS Logic gate Transistor Flip-flop Clock distribution network Inverter Electronic engineering Electrical engineering Electromagnetism
485	Many Roads from the Axiom of Completeness* Andrew Nightingale Abstract “We all grow up believing in the existence of real numbers . . .” (Abbot, 2001, pThe “property that distinguishes” the real numbers i Add to Reading List Source URL: tigger.uic.edu Language: English - Date: 2014-05-26 17:34:36 Philosophy of mathematics Mathematical logic Mathematical induction Proof theory Number system Real number Axiom Charles Sanders Peirce Infinity Mathematics Logic Elementary mathematics
486	CCCG 2013, Waterloo, Ontario, August 8–10, 2013 Data Structures for Incremental Extreme Ray Enumeration Algorithms Blagoy Genov∗ Abstract Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2013-08-11 21:51:58 Theoretical computer science Algorithm Mathematical logic Randomized algorithm Binary search tree K-d tree Mathematics Applied mathematics Binary trees
487	µZ– An Efficient Engine for Fixed points with Constraints? Kryˇstof Hoder, Nikolaj Bjørner, and Leonardo de Moura Manchester University and Microsoft Research Abstract. The µZ tool is a scalable, efficient engine Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-09-16 13:09:02 Mathematical logic Mathematical structures Model theory Algebraic logic Boolean algebra Finitary relation Structure Relational algebra Relation algebra Mathematics Algebra Abstract algebra
488	Horn Clause Solvers for Program Verification Nikolaj Bjørner, Arie Gurfinkel, Ken McMillan and Andrey Rybalchenko Microsoft Research, Software Engineering Institutute Abstract. Several recent symbolic model checking too Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-04-11 16:07:03 Logic in computer science Formal methods Mathematical logic Predicate logic Rules of inference Resolution Horn clause Predicate transformer semantics Constraint logic programming Theoretical computer science Mathematics Logic
489	Granularity and Concurrent Separation Logic Jonathan Hayman Computer Laboratory, University of Cambridge Abstract. When defining the semantics of shared-memory concurrent programming languages, one conventionally has to Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-02-07 11:14:44 Concurrency Diagrams Petri net Mathematical logic Mathematics Heap Separation logic Theoretical computer science Models of computation Logic in computer science
490	A TYPOLOGY OF SPECIFICITY Donka F. Farkas and Adrian Brasoveanu University of California, Santa Cruz Abstract The paper casts a look back at the role specificity has played in DP semantics in the last thirty years and th Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:41 Quantification Mathematical logic Syntactic categories Grammar Determiner Discourse representation theory Generalized quantifier Existential quantification Variable Linguistics Logic Semantics

UPDATE